Public lists that include current (2011) by |˟˟| & ∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]